• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
  • ورود / ثبت نام
تعداد ۱۲ پاسخ غیر تکراری از ۱۲ پاسخ تکراری در مدت زمان ۰,۴۴ ثانیه یافت شد.

1. Bounded Queries in Recursion Theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: by William I. Gasarch, Georgia A. Martin.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.

Classification :

2. Computability, complexity, and languages :

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Martin D. Davis, Ron Sigal, Elaine J. Weyuker

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational complexity,Formal languages,Machine theory

Classification :
QA267
.
D38
1994

3. Computing with foresight and industry :

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.

Classification :
QA9
.
59
.
C67
2019

4. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Internatinal FCT-confernce, Borgholm, Sweden, 3891

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses

Classification :
QA
9
.
6
.
I57
1983

5. Fundamentals of computation theory

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / edited by Marek Karpinski

Library: Library of College of Science University of Tehran (Tehran)

Subject: Recursion theory -- Congresses,Computational complexity -- Congresses,Machine theory -- Congresses,Categories (Mathematics) -- Congresses

Classification :
QA
9
.
6
.
I57
1977

6. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: edited by Marek Karpinski

Library: Central Library and Documentation Center (Kerman)

Subject: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(

Classification :
QA
76
.
L4
v
.
56

7. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: edited by Marek Karpinski

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(

Classification :
QA
76
.
L28
Vol
.
56

8. Logic and Complexity

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: by Richard Lassaigne, Michel Rougemont.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational complexity.,Computer science.,Logic design.

Classification :
QA267
.
7
B975
2004

9. Theory of computation

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Dexter C. Kozen

Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)

Subject: Computational complexity,Computer science -- Mathematics,Recursion theory

Classification :
QA
267
.
7
.
K69
2006

10. Theory of computation

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Dexter C. Kozen

Library: Library of College of Science University of Tehran (Tehran)

Subject: Computational complexity,Computer science -- Mathematics,Recursion theory

Classification :
QA
267
.
7
.
K69
2006

11. Theory of computation

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Dexter C. Kozen

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computational complexity.,Computer science--Mathematics,Recursion theory.

Classification :
QA
,
267
.
7
,.
K69
,
2006

12. Theory of computation

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computational complexity. ; Computer science ; Mathematics. ; Recursion theory. ;

Classification :
  • »
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival